Local programming - PDFSEARCH.IO - Document Search Engine

Local programming
Results: 648

#	Item
281	EagleUP: Solving Random 3-SAT using SLS with Unit Propagation Oliver Gableske1 and Marijn Heule2 1 2 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2011-09-26 11:40:37 Logic programming Conjunctive normal form Local search Boolean satisfiability problem DPLL algorithm Theoretical computer science Constraint programming Declarative programming
282	Constraint-based approaches for Balancing Bike Sharing Systems Luca Di Gaspero1 , Andrea Rendl2 , and Tommaso Urli1 1 Scheduling and Timetabling Group, Department of Electrical, Management and Mechanical Engineering, Add to Reading List Source URL: www.tunnuz.net Language: English - Date: 2014-09-12 00:58:21 Computing Ant colony optimization algorithms Decomposition method FO Bicycle sharing system Local search Bicycle Constraint programming Software engineering Computer programming
283	Making Bound Consistency as Effective as Arc Consistency∗ Christian Bessiere LIRMM-CNRS U. Montpellier, France [removed] Add to Reading List Source URL: www.lirmm.fr Language: English - Date: 2009-04-14 16:30:51 Constraint programming Local consistency Candidate key
284	PHALANX : Parallel Checking of Expressive Heap Assertions Martin Vechev Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:22 Computer programming Garbage collection Heap Monitor Nim C dynamic memory allocation D-ary heap Tree traversal Thread-local storage Computing Mathematics Memory management
285	Dr. Manuel Bodirsky Curriculum Vitae Born December 30, 1976, in Freiburg im Breisgau, Germany. German citizenship. Married with Michaela Metzger, three children: Lewin Bodirsky, born April 25, 2006. Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-02-07 06:50:56 Software engineering Constraint satisfaction Complexity of constraint satisfaction Local consistency Mathematical optimization Spatial–temporal reasoning Combinatorial optimization Linear programming Logic programming Constraint programming Theoretical computer science Applied mathematics
286	Erratum Constraint Networks Christophe lecoutre ISTE/Wiley December 8, 2011 Add to Reading List Source URL: www.cril.univ-artois.fr Language: English - Date: 2011-12-08 03:06:30 Mathematics Applied mathematics FO Graph Constraint logic programming Constraint programming Theoretical computer science Local consistency
287	MISTA 2013 manuscript No. (will be inserted by the editor) A simulated annealing approach to the curriculum-based course timetabling problem Add to Reading List Source URL: www.tunnuz.net Language: English - Date: 2014-09-12 00:58:22 Search algorithm Mathematical optimization Applied mathematics Mathematics Computer programming Operations research Simulated annealing Local search
288	Hybrid CP+LNS for the Curriculum-Based Course Timetabling Problem Tommaso Urli Dept. of Electrical, Management and Mechanical Engineering University of Udine, Via Delle Scienze, [removed]Udine, Italy tommaso.urli@uniu Add to Reading List Source URL: www.tunnuz.net Language: English - Date: 2014-09-12 00:58:22 Local search Constraint programming Hybrid algorithm Local consistency
289	Grimsby Channel 7 L-DTPS application form - redacted.rtf Add to Reading List Source URL: licensing.ofcom.org.uk Language: English - Date: 2013-09-09 14:31:11 Terminology ITV BBC Television network Local programming Television in the United Kingdom Television Broadcasting
290	Appendix 1_Latest TV_Indicative Schedule for Q4j.xlsx Add to Reading List Source URL: licensing.ofcom.org.uk Language: English - Date: 2013-09-09 13:39:48 Advertising Brokered programming Infomercial Brighton Local government in England East Sussex Counties of England

UPDATE